<?php

function sleep2() { sleep(2); }
ini_set('hhvm.max_wall_time', 1);
ini_set('hhvm.max_cpu_time', 1);
var_dump(ini_get('hhvm.max_wall_time'));
sleep2();
echo "done\n";
